Instance Verification Kit (IVK)

mutex lock @ [8990+30+/linux-3.17-rc1/drivers/staging/cptm1217/clearpad_tm1217.c]
Instance Signature: thread_mutex

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
cp_tm1217_sample_thread [8180+23+/linux-3.17-rc1/drivers/staging/cptm1217/clearpad_tm1217.c]